منابع مشابه
Learning to Automatically Solve Logic Grid Puzzles
Logic grid puzzle is a genre of logic puzzles in which we are given (in a natural language) a scenario, the object to be deduced and certain clues. The reader has to figure out the solution using the clues provided and some generic domain constraints. In this paper, we present a system, LOGICIA, that takes a logic grid puzzle and the set of elements in the puzzle and tries to solve it by transl...
متن کاملComparing ASP and CP on Four Grid Puzzles
We study two declarative programming languages namely Answer Set Programming (ASP) and Constraint Programming (CP) on four grid puzzles: Akari, Kakuro, Nurikabe, and Heyawake. We represent these problems in both formalisms in a systematic way and compute their solutions using ASP system Clasp and CP system Comet. We compare the ASP approach with the CP approach both from the point of view of kn...
متن کاملThe Thermodynamic Arrow: Puzzles and Pseudo-puzzles
For more than a century, physics has known of a puzzling conflict between the T-asymmetry of thermodynamic phenomena and the T-symmetry of the underlying microphysics on which these phenomena depend. This paper provides a guide to the current status of this puzzle, distinguishing the central issue from various issues with which it may be confused. It is shown that there are two competing concep...
متن کاملMachine-Made Puzzles and Hand-Made Puzzles
Originally puzzles were not for recreation, but serious questions you might be killed if you couldn’t solve them. But in modern times, puzzles had become a sort of recreation, decreasing the seriousness and religiousness gradually. Now, the ‘rule creators’ of puzzles began to attract notice. I, as a rule creator, published a book, Kyoto University Student, Higashida’s Puzzles. I’ll show several...
متن کاملColor puzzles.
service Email alerting click here the box at the top right corner of the article or Receive free email alerts when new articles cite this article-sign up in
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: INFORMS Transactions on Education
سال: 2014
ISSN: 1532-0545,1532-0545
DOI: 10.1287/ited.2014.0129